tests/inline14.scop

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