tests/forward_substitution1.scop

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