tests/forward_substitution1.scop

   1 context: '{  :  }'
   2 arrays:
   3 - context: '{  :  }'
   4   extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
   5   element_type: int
   6 - context: '{  :  }'
   7   extent: '{ b[] }'
   8   element_type: int
   9 - context: '{  :  }'
  10   extent: '{ c[] }'
  11   element_type: int
  12 statements:
  13 - line: 5
  14   domain: '{ S_0[] }'
  15   schedule: '{ S_0[] -> [0] }'
  16   body:
  17     type: binary
  18     operation: =
  19     arguments:
  20     - type: access
  21       relation: '{ S_0[] -> b[] }'
  22       read: 0
  23       write: 1
  24     - type: access
  25       relation: '{ S_0[] -> [1] }'
  26       read: 1
  27       write: 0
  28 - line: 6
  29   domain: '{ S_1[] }'
  30   schedule: '{ S_1[] -> [1] }'
  31   body:
  32     type: binary
  33     operation: =
  34     arguments:
  35     - type: access
  36       relation: '{ S_1[] -> c[] }'
  37       read: 0
  38       write: 1
  39     - type: access
  40       relation: '{ S_1[] -> b[] }'
  41       read: 1
  42       write: 0
  43 - line: 7
  44   domain: '{ S_2[] }'
  45   schedule: '{ S_2[] -> [2] }'
  46   body:
  47     type: binary
  48     operation: =
  49     arguments:
  50     - type: access
  51       relation: '{ S_2[] -> b[] }'
  52       read: 0
  53       write: 1
  54     - type: access
  55       relation: '{ S_2[] -> [2] }'
  56       read: 1
  57       write: 0
  58 - line: 8
  59   domain: '{ S_3[] }'
  60   schedule: '{ S_3[] -> [3] }'
  61   body:
  62     type: binary
  63     operation: =
  64     arguments:
  65     - type: access
  66       relation: '{ S_3[] -> a[1] }'
  67       read: 0
  68       write: 1
  69     - type: access
  70       relation: '{ S_3[] -> [5] }'
  71       read: 1
  72       write: 0