tests/forward_substitution1.scop

   1 start: 31
   2 end: 95
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_3[]; S_0[]; S_2[]; S_1[] }", child: { sequence: [ { filter:
   6   "{ S_0[] }" }, { filter: "{ S_1[] }" }, { filter: "{ S_2[] }" }, { filter: "{ S_3[]
   7   }" } ] } }'
   8 arrays:
   9 - context: '{  :  }'
  10   extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
  11   element_type: int
  12   element_size: 4
  13 - context: '{  :  }'
  14   extent: '{ b[] }'
  15   element_type: int
  16   element_size: 4
  17 - context: '{  :  }'
  18   extent: '{ c[] }'
  19   element_type: int
  20   element_size: 4
  21 statements:
  22 - line: 5
  23   domain: '{ S_0[] }'
  24   body:
  25     type: expression
  26     expr:
  27       type: op
  28       operation: =
  29       arguments:
  30       - type: access
  31         index: '{ S_0[] -> b[] }'
  32         reference: __pet_ref_0
  33         read: 0
  34         write: 1
  35       - type: int
  36         value: 1
  37 - line: 6
  38   domain: '{ S_1[] }'
  39   body:
  40     type: expression
  41     expr:
  42       type: op
  43       operation: =
  44       arguments:
  45       - type: access
  46         index: '{ S_1[] -> c[] }'
  47         reference: __pet_ref_1
  48         read: 0
  49         write: 1
  50       - type: access
  51         index: '{ S_1[] -> [(1)] }'
  52         reference: __pet_ref_2
  53         read: 1
  54         write: 0
  55 - line: 7
  56   domain: '{ S_2[] }'
  57   body:
  58     type: expression
  59     expr:
  60       type: op
  61       operation: =
  62       arguments:
  63       - type: access
  64         index: '{ S_2[] -> b[] }'
  65         reference: __pet_ref_3
  66         read: 0
  67         write: 1
  68       - type: int
  69         value: 2
  70 - line: 8
  71   domain: '{ S_3[] }'
  72   body:
  73     type: expression
  74     expr:
  75       type: op
  76       operation: =
  77       arguments:
  78       - type: access
  79         index: '{ S_3[] -> a[(1)] }'
  80         reference: __pet_ref_4
  81         read: 0
  82         write: 1
  83       - type: int
  84         value: 5