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   schedule: '{ S_0[] -> [0] }'
  25   body:
  26     type: expression
  27     expr:
  28       type: op
  29       operation: =
  30       arguments:
  31       - type: access
  32         index: '{ S_0[] -> b[] }'
  33         reference: __pet_ref_0
  34         read: 0
  35         write: 1
  36       - type: int
  37         value: 1
  38 - line: 6
  39   domain: '{ S_1[] }'
  40   schedule: '{ S_1[] -> [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   schedule: '{ S_2[] -> [2] }'
  60   body:
  61     type: expression
  62     expr:
  63       type: op
  64       operation: =
  65       arguments:
  66       - type: access
  67         index: '{ S_2[] -> b[] }'
  68         reference: __pet_ref_3
  69         read: 0
  70         write: 1
  71       - type: int
  72         value: 2
  73 - line: 8
  74   domain: '{ S_3[] }'
  75   schedule: '{ S_3[] -> [3] }'
  76   body:
  77     type: expression
  78     expr:
  79       type: op
  80       operation: =
  81       arguments:
  82       - type: access
  83         index: '{ S_3[] -> a[(1)] }'
  84         reference: __pet_ref_4
  85         read: 0
  86         write: 1
  87       - type: int
  88         value: 5