tests/inline1.scop

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