tests/cuervo.scop

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