tests/inline3.scop

   1 start: 50
   2 end: 113
   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[i0] : 0 <= i0 <= 9 }'
  11   element_type: int
  12   element_size: 4
  13   declared: 1
  14   exposed: 1
  15 - context: '{  :  }'
  16   extent: '{ __pet_arg_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[o0] : 0 <= o0 <= 9 }'
  31         index: '{ S_0[] -> a[] }'
  32         depth: 1
  33         reference: __pet_ref_0
  34         kill: 1
  35 - line: 10
  36   domain: '{ S_1[] }'
  37   body:
  38     type: expression
  39     expr:
  40       type: op
  41       operation: =
  42       arguments:
  43       - type: access
  44         index: '{ S_1[] -> a[(5)] }'
  45         reference: __pet_ref_1
  46         read: 0
  47         write: 1
  48       - type: int
  49         value: 1
  50 - line: -1
  51   domain: '{ S_2[] }'
  52   body:
  53     type: expression
  54     expr:
  55       type: op
  56       operation: kill
  57       arguments:
  58       - type: access
  59         killed: '{ S_2[] -> __pet_arg_0[] }'
  60         index: '{ S_2[] -> __pet_arg_0[] }'
  61         reference: __pet_ref_2
  62         kill: 1
  63 - line: -1
  64   domain: '{ S_3[] }'
  65   body:
  66     type: expression
  67     expr:
  68       type: op
  69       operation: =
  70       arguments:
  71       - type: access
  72         index: '{ S_3[] -> __pet_arg_0[] }'
  73         reference: __pet_ref_3
  74         read: 0
  75         write: 1
  76       - type: int
  77         value: 5
  78 - line: 3
  79   domain: '{ S_5[] }'
  80   body:
  81     type: expression
  82     expr:
  83       type: op
  84       operation: +=
  85       arguments:
  86       - type: access
  87         index: '{ S_5[] -> a[(5)] }'
  88         reference: __pet_ref_4
  89         read: 1
  90         write: 1
  91       - type: int
  92         value: 1
  93 - line: -1
  94   domain: '{ S_4[] }'
  95   body:
  96     type: expression
  97     expr:
  98       type: op
  99       operation: kill
 100       arguments:
 101       - type: access
 102         killed: '{ S_4[] -> __pet_arg_0[] }'
 103         index: '{ S_4[] -> __pet_arg_0[] }'
 104         reference: __pet_ref_5
 105         kill: 1