tests/inline13.scop

   1 start: 68
   2 end: 123
   3 indent:
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_3[]; S_10[]; S_0[]; S_5[]; S_12[]; S_11[]; S_7[]; S_13[];
   6   S_6[]; S_8[]; S_9[]; S_2[]; S_4[]; S_1[] }", child: { sequence: [ { filter: "{ S_0[]
   7   }" }, { filter: "{ S_2[] }" }, { filter: "{ S_4[] }" }, { filter: "{ S_5[] }" },
   8   { filter: "{ S_7[] }" }, { filter: "{ S_6[] }" }, { filter: "{ S_8[] }" }, { filter:
   9   "{ S_9[] }" }, { filter: "{ S_11[] }" }, { filter: "{ S_10[] }" }, { filter: "{
  10   S_12[] }" }, { filter: "{ S_3[]; S_1[] }", child: { set: [ { filter: "{ S_1[] }"
  11   }, { filter: "{ S_3[] }" } ] } }, { filter: "{ S_13[] }" } ] } }'
  12 arrays:
  13 - context: '{  :  }'
  14   extent: '{ __pet_ret_0[] }'
  15   element_type: int
  16   element_size: 4
  17   declared: 1
  18 - context: '{  :  }'
  19   extent: '{ __pet_ret_1[] }'
  20   element_type: int
  21   element_size: 4
  22   declared: 1
  23 - context: '{  :  }'
  24   extent: '{ i[] }'
  25   element_type: int
  26   element_size: 4
  27   declared: 1
  28 - context: '{  :  }'
  29   extent: '{ i_0[] }'
  30   element_type: int
  31   element_size: 4
  32   declared: 1
  33 - context: '{  :  }'
  34   extent: '{ a[] }'
  35   element_type: int
  36   element_size: 4
  37 statements:
  38 - line: -1
  39   domain: '{ S_0[] }'
  40   body:
  41     type: expression
  42     expr:
  43       type: op
  44       operation: kill
  45       arguments:
  46       - type: access
  47         killed: '{ S_0[] -> __pet_ret_0[] }'
  48         index: '{ S_0[] -> __pet_ret_0[] }'
  49         reference: __pet_ref_0
  50         kill: 1
  51 - line: -1
  52   domain: '{ S_2[] }'
  53   body:
  54     type: expression
  55     expr:
  56       type: op
  57       operation: kill
  58       arguments:
  59       - type: access
  60         killed: '{ S_2[] -> __pet_ret_1[] }'
  61         index: '{ S_2[] -> __pet_ret_1[] }'
  62         reference: __pet_ref_1
  63         kill: 1
  64 - line: -1
  65   domain: '{ S_4[] }'
  66   body:
  67     type: expression
  68     expr:
  69       type: op
  70       operation: kill
  71       arguments:
  72       - type: access
  73         killed: '{ S_4[] -> i[] }'
  74         index: '{ S_4[] -> i[] }'
  75         reference: __pet_ref_2
  76         kill: 1
  77 - line: -1
  78   domain: '{ S_5[] }'
  79   body:
  80     type: expression
  81     expr:
  82       type: op
  83       operation: =
  84       arguments:
  85       - type: access
  86         index: '{ S_5[] -> i[] }'
  87         reference: __pet_ref_3
  88         read: 0
  89         write: 1
  90       - type: int
  91         value: 5
  92 - line: -1
  93   domain: '{ S_7[] }'
  94   body:
  95     type: expression
  96     expr:
  97       type: op
  98       operation: =
  99       arguments:
 100       - type: access
 101         index: '{ S_7[] -> __pet_ret_0[] }'
 102         reference: __pet_ref_4
 103         read: 0
 104         write: 1
 105       - type: access
 106         index: '{ S_7[] -> [(6)] }'
 107         reference: __pet_ref_5
 108         read: 1
 109         write: 0
 110 - line: -1
 111   domain: '{ S_6[] }'
 112   body:
 113     type: expression
 114     expr:
 115       type: op
 116       operation: kill
 117       arguments:
 118       - type: access
 119         killed: '{ S_6[] -> i[] }'
 120         index: '{ S_6[] -> i[] }'
 121         reference: __pet_ref_6
 122         kill: 1
 123 - line: -1
 124   domain: '{ S_8[] }'
 125   body:
 126     type: expression
 127     expr:
 128       type: op
 129       operation: kill
 130       arguments:
 131       - type: access
 132         killed: '{ S_8[] -> i_0[] }'
 133         index: '{ S_8[] -> i_0[] }'
 134         reference: __pet_ref_7
 135         kill: 1
 136 - line: -1
 137   domain: '{ S_9[] }'
 138   body:
 139     type: expression
 140     expr:
 141       type: op
 142       operation: =
 143       arguments:
 144       - type: access
 145         index: '{ S_9[] -> i_0[] }'
 146         reference: __pet_ref_8
 147         read: 0
 148         write: 1
 149       - type: access
 150         index: '{ S_9[] -> __pet_ret_0[] }'
 151         reference: __pet_ref_9
 152         read: 1
 153         write: 0
 154 - line: -1
 155   domain: '{ S_11[] }'
 156   body:
 157     type: expression
 158     expr:
 159       type: op
 160       operation: =
 161       arguments:
 162       - type: access
 163         index: '{ S_11[] -> __pet_ret_1[] }'
 164         reference: __pet_ref_10
 165         read: 0
 166         write: 1
 167       - type: op
 168         operation: +
 169         arguments:
 170         - type: access
 171           index: '{ S_11[] -> i_0[] }'
 172           reference: __pet_ref_11
 173           read: 1
 174           write: 0
 175         - type: int
 176           value: 1
 177 - line: -1
 178   domain: '{ S_10[] }'
 179   body:
 180     type: expression
 181     expr:
 182       type: op
 183       operation: kill
 184       arguments:
 185       - type: access
 186         killed: '{ S_10[] -> i_0[] }'
 187         index: '{ S_10[] -> i_0[] }'
 188         reference: __pet_ref_12
 189         kill: 1
 190 - line: 11
 191   domain: '{ S_12[] }'
 192   body:
 193     type: expression
 194     expr:
 195       type: op
 196       operation: =
 197       arguments:
 198       - type: access
 199         index: '{ S_12[] -> a[] }'
 200         reference: __pet_ref_13
 201         read: 0
 202         write: 1
 203       - type: access
 204         index: '{ S_12[] -> __pet_ret_1[] }'
 205         reference: __pet_ref_14
 206         read: 1
 207         write: 0
 208 - line: -1
 209   domain: '{ S_1[] }'
 210   body:
 211     type: expression
 212     expr:
 213       type: op
 214       operation: kill
 215       arguments:
 216       - type: access
 217         killed: '{ S_1[] -> __pet_ret_0[] }'
 218         index: '{ S_1[] -> __pet_ret_0[] }'
 219         reference: __pet_ref_15
 220         kill: 1
 221 - line: -1
 222   domain: '{ S_3[] }'
 223   body:
 224     type: expression
 225     expr:
 226       type: op
 227       operation: kill
 228       arguments:
 229       - type: access
 230         killed: '{ S_3[] -> __pet_ret_1[] }'
 231         index: '{ S_3[] -> __pet_ret_1[] }'
 232         reference: __pet_ref_16
 233         kill: 1
 234 - line: -1
 235   domain: '{ S_13[] }'
 236   body:
 237     type: expression
 238     expr:
 239       type: op
 240       operation: kill
 241       arguments:
 242       - type: access
 243         killed: '{ S_13[] -> a[] }'
 244         index: '{ S_13[] -> a[] }'
 245         reference: __pet_ref_17
 246         kill: 1