tests/inline10.scop

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