tests/autodetect/decl.scop

   1 start: 13
   2 end: 53
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_3[]; S_0[]; S_5[]; S_7[]; S_8[]; S_6[]; S_4[]; S_1[]; S_2[]
   6   }", child: { sequence: [ { filter: "{ S_0[] }" }, { filter: "{ S_1[] }" }, { filter:
   7   "{ S_4[] }" }, { filter: "{ S_5[] }" }, { filter: "{ S_6[] }" }, { filter: "{ S_8[]
   8   }" }, { filter: "{ S_3[]; S_7[]; S_2[] }", child: { set: [ { filter: "{ S_2[] }"
   9   }, { filter: "{ S_3[] }" }, { filter: "{ S_7[] }" } ] } } ] } }'
  10 arrays:
  11 - context: '{  :  }'
  12   extent: '{ a[] }'
  13   element_type: int
  14   element_size: 4
  15   declared: 1
  16   exposed: 1
  17 - context: '{  :  }'
  18   extent: '{ b[] }'
  19   element_type: int
  20   element_size: 4
  21   declared: 1
  22   exposed: 1
  23 - context: '{  :  }'
  24   extent: '{ c[] }'
  25   element_type: int
  26   element_size: 4
  27   declared: 1
  28 statements:
  29 - line: 3
  30   domain: '{ S_0[] }'
  31   body:
  32     type: expression
  33     expr:
  34       type: op
  35       operation: kill
  36       arguments:
  37       - type: access
  38         killed: '{ S_0[] -> a[] }'
  39         index: '{ S_0[] -> a[] }'
  40         reference: __pet_ref_0
  41         kill: 1
  42 - line: 3
  43   domain: '{ S_1[] }'
  44   body:
  45     type: expression
  46     expr:
  47       type: op
  48       operation: kill
  49       arguments:
  50       - type: access
  51         killed: '{ S_1[] -> b[] }'
  52         index: '{ S_1[] -> b[] }'
  53         reference: __pet_ref_1
  54         kill: 1
  55 - line: 5
  56   domain: '{ S_4[] }'
  57   body:
  58     type: expression
  59     expr:
  60       type: op
  61       operation: =
  62       arguments:
  63       - type: access
  64         index: '{ S_4[] -> a[] }'
  65         reference: __pet_ref_2
  66         read: 0
  67         write: 1
  68       - type: int
  69         value: 3
  70 - line: 6
  71   domain: '{ S_5[] }'
  72   body:
  73     type: expression
  74     expr:
  75       type: op
  76       operation: kill
  77       arguments:
  78       - type: access
  79         killed: '{ S_5[] -> c[] }'
  80         index: '{ S_5[] -> c[] }'
  81         reference: __pet_ref_3
  82         kill: 1
  83 - line: 6
  84   domain: '{ S_6[] }'
  85   body:
  86     type: expression
  87     expr:
  88       type: op
  89       operation: =
  90       arguments:
  91       - type: access
  92         index: '{ S_6[] -> c[] }'
  93         reference: __pet_ref_4
  94         read: 0
  95         write: 1
  96       - type: int
  97         value: 5
  98 - line: 7
  99   domain: '{ S_8[] }'
 100   body:
 101     type: expression
 102     expr:
 103       type: op
 104       operation: =
 105       arguments:
 106       - type: access
 107         index: '{ S_8[] -> b[] }'
 108         reference: __pet_ref_5
 109         read: 0
 110         write: 1
 111       - type: access
 112         index: '{ S_8[] -> [(5)] }'
 113         reference: __pet_ref_6
 114         read: 1
 115         write: 0
 116 - line: 3
 117   domain: '{ S_2[] }'
 118   body:
 119     type: expression
 120     expr:
 121       type: op
 122       operation: kill
 123       arguments:
 124       - type: access
 125         killed: '{ S_2[] -> a[] }'
 126         index: '{ S_2[] -> a[] }'
 127         reference: __pet_ref_7
 128         kill: 1
 129 - line: 3
 130   domain: '{ S_3[] }'
 131   body:
 132     type: expression
 133     expr:
 134       type: op
 135       operation: kill
 136       arguments:
 137       - type: access
 138         killed: '{ S_3[] -> b[] }'
 139         index: '{ S_3[] -> b[] }'
 140         reference: __pet_ref_8
 141         kill: 1
 142 - line: 6
 143   domain: '{ S_7[] }'
 144   body:
 145     type: expression
 146     expr:
 147       type: op
 148       operation: kill
 149       arguments:
 150       - type: access
 151         killed: '{ S_7[] -> c[] }'
 152         index: '{ S_7[] -> c[] }'
 153         reference: __pet_ref_9
 154         kill: 1