tests/forward_substitution2.scop

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