tests/call8.scop

   1 start: 82
   2 end: 197
   3 indent: "\t"
   4 context: '[n] -> {  : -2147483648 <= n <= 2147483647 }'
   5 schedule: '{ domain: "[n] -> { S_0[i] : 0 <= i <= -2 + n }", child: { schedule: "[n]
   6   -> L_0[{ S_0[i] -> [(i)] }]" } }'
   7 arrays:
   8 - context: '{  :  }'
   9   extent: '[n] -> { a[i0] : i0 >= 0 }'
  10   element_type: int
  11   element_size: 4
  12 statements:
  13 - line: 10
  14   domain: '[n] -> { S_0[i] : 0 <= i <= -2 + n }'
  15   body:
  16     type: expression
  17     expr:
  18       type: op
  19       operation: =
  20       arguments:
  21       - type: access
  22         index: '[n] -> { S_0[i] -> a[(i)] }'
  23         reference: __pet_ref_0
  24         read: 0
  25         write: 1
  26       - type: op
  27         operation: +
  28         arguments:
  29         - type: call
  30           name: select
  31           arguments:
  32           - type: access
  33             index: '[n] -> { S_0[i] -> [(n)] }'
  34             reference: __pet_ref_1
  35             read: 1
  36             write: 0
  37           - type: access
  38             may_read: '[n] -> { S_0[i] -> a[i] }'
  39             index: '[n] -> { S_0[i] -> a[] }'
  40             depth: 1
  41             reference: __pet_ref_2
  42             read: 1
  43             write: 0
  44           - type: access
  45             index: '[n] -> { S_0[i] -> [(i)] }'
  46             reference: __pet_ref_3
  47             read: 1
  48             write: 0
  49         - type: call
  50           name: select
  51           arguments:
  52           - type: access
  53             index: '[n] -> { S_0[i] -> [(n)] }'
  54             reference: __pet_ref_4
  55             read: 1
  56             write: 0
  57           - type: access
  58             may_read: '[n] -> { S_0[i] -> a[1 + i] }'
  59             index: '[n] -> { S_0[i] -> a[] }'
  60             depth: 1
  61             reference: __pet_ref_5
  62             read: 1
  63             write: 0
  64           - type: access
  65             index: '[n] -> { S_0[i] -> [(1 + i)] }'
  66             reference: __pet_ref_6
  67             read: 1
  68             write: 0