tests/decl3.scop

   1 start: 18
   2 end: 77
   3 context: '{  :  }'
   4 arrays:
   5 - context: '{  :  }'
   6   extent: '{ A[i0] : i0 >= 0 and i0 <= 4 }'
   7   element_type: int
   8   element_size: 4
   9   declared: 1
  10   exposed: 1
  11 - context: '{  :  }'
  12   extent: '{ N[] }'
  13   element_type: int
  14   element_size: 4
  15 statements:
  16 - line: 4
  17   domain: '{ S_0[] }'
  18   schedule: '{ S_0[] -> [0] }'
  19   body:
  20     type: op
  21     operation: =
  22     arguments:
  23     - type: access
  24       relation: '{ S_0[] -> N[] }'
  25       index: '{ S_0[] -> N[] }'
  26       reference: __pet_ref_0
  27       read: 0
  28       write: 1
  29     - type: int
  30       value: 5
  31 - line: 5
  32   domain: '{ S_1[] }'
  33   schedule: '{ S_1[] -> [1] }'
  34   body:
  35     type: op
  36     operation: kill
  37     arguments:
  38     - type: access
  39       relation: '{ S_1[] -> A[o0] : o0 >= 0 and o0 <= 4 }'
  40       index: '{ S_1[] -> A[] }'
  41       reference: __pet_ref_1
  42       read: 0
  43       write: 0
  44 - line: 6
  45   domain: '{ S_2[] }'
  46   schedule: '{ S_2[] -> [2] }'
  47   body:
  48     type: op
  49     operation: =
  50     arguments:
  51     - type: access
  52       relation: '{ S_2[] -> A[0] }'
  53       index: '{ S_2[] -> A[(0)] }'
  54       reference: __pet_ref_2
  55       read: 0
  56       write: 1
  57     - type: int
  58       value: 1