tests/autodetect/decl.scop

   1 start: 25
   2 end: 53
   3 context: '{  :  }'
   4 arrays:
   5 - context: '{  :  }'
   6   extent: '{ c[] }'
   7   element_type: int
   8   element_size: 4
   9   declared: 1
  10   exposed: 1
  11 - context: '{  :  }'
  12   extent: '{ a[] }'
  13   element_type: int
  14   element_size: 4
  15 - context: '{  :  }'
  16   extent: '{ b[] }'
  17   element_type: int
  18   element_size: 4
  19 statements:
  20 - line: 5
  21   domain: '{ S_0[] }'
  22   schedule: '{ S_0[] -> [1] }'
  23   body:
  24     type: op
  25     operation: =
  26     arguments:
  27     - type: access
  28       relation: '{ S_0[] -> a[] }'
  29       index: '{ S_0[] -> a[] }'
  30       reference: __pet_ref_0
  31       read: 0
  32       write: 1
  33     - type: int
  34       value: 3
  35 - line: 6
  36   domain: '{ S_1[] }'
  37   schedule: '{ S_1[] -> [2, 0] }'
  38   body:
  39     type: op
  40     operation: kill
  41     arguments:
  42     - type: access
  43       relation: '{ S_1[] -> c[] }'
  44       index: '{ S_1[] -> c[] }'
  45       reference: __pet_ref_1
  46       read: 0
  47       write: 0
  48 - line: 6
  49   domain: '{ S_2[] }'
  50   schedule: '{ S_2[] -> [2, 1] }'
  51   body:
  52     type: op
  53     operation: =
  54     arguments:
  55     - type: access
  56       relation: '{ S_2[] -> c[] }'
  57       index: '{ S_2[] -> c[] }'
  58       reference: __pet_ref_2
  59       read: 0
  60       write: 1
  61     - type: int
  62       value: 5
  63 - line: 7
  64   domain: '{ S_3[] }'
  65   schedule: '{ S_3[] -> [3] }'
  66   body:
  67     type: op
  68     operation: =
  69     arguments:
  70     - type: access
  71       relation: '{ S_3[] -> b[] }'
  72       index: '{ S_3[] -> b[] }'
  73       reference: __pet_ref_3
  74       read: 0
  75       write: 1
  76     - type: access
  77       relation: '{ S_3[] -> c[] }'
  78       index: '{ S_3[] -> c[] }'
  79       reference: __pet_ref_4
  80       read: 1
  81       write: 0