tests/autodetect/decl.scop

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