tests/forward_substitution3.scop

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