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