tests/forward_substitution3.scop

   1 start: 25
   2 end: 97
   3 context: '{  :  }'
   4 arrays:
   5 - context: '{  :  }'
   6   extent: '{ b[] }'
   7   element_type: int
   8   element_size: 4
   9   declared: 1
  10   exposed: 1
  11 - context: '{  :  }'
  12   extent: '{ c[] }'
  13   element_type: int
  14   element_size: 4
  15   declared: 1
  16   exposed: 1
  17 - context: '{  :  }'
  18   extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
  19   element_type: int
  20   element_size: 4
  21 statements:
  22 - line: 5
  23   domain: '{ S_0[] }'
  24   schedule: '{ S_0[] -> [0, 0] }'
  25   body:
  26     type: unary
  27     operation: kill
  28     arguments:
  29     - type: access
  30       relation: '{ S_0[] -> b[] }'
  31       read: 0
  32       write: 0
  33 - line: 5
  34   domain: '{ S_1[] }'
  35   schedule: '{ S_1[] -> [0, 1] }'
  36   body:
  37     type: binary
  38     operation: =
  39     arguments:
  40     - type: access
  41       relation: '{ S_1[] -> b[] }'
  42       read: 0
  43       write: 1
  44     - type: access
  45       relation: '{ S_1[] -> [1] }'
  46       read: 1
  47       write: 0
  48 - line: 6
  49   domain: '{ S_2[] }'
  50   schedule: '{ S_2[] -> [1, 0] }'
  51   body:
  52     type: unary
  53     operation: kill
  54     arguments:
  55     - type: access
  56       relation: '{ S_2[] -> c[] }'
  57       read: 0
  58       write: 0
  59 - line: 6
  60   domain: '{ S_3[] }'
  61   schedule: '{ S_3[] -> [1, 1] }'
  62   body:
  63     type: binary
  64     operation: =
  65     arguments:
  66     - type: access
  67       relation: '{ S_3[] -> c[] }'
  68       read: 0
  69       write: 1
  70     - type: access
  71       relation: '{ S_3[] -> b[] }'
  72       read: 1
  73       write: 0
  74 - line: 7
  75   domain: '{ S_4[] }'
  76   schedule: '{ S_4[] -> [2] }'
  77   body:
  78     type: binary
  79     operation: =
  80     arguments:
  81     - type: access
  82       relation: '{ S_4[] -> b[] }'
  83       read: 0
  84       write: 1
  85     - type: access
  86       relation: '{ S_4[] -> [2] }'
  87       read: 1
  88       write: 0
  89 - line: 8
  90   domain: '{ S_5[] }'
  91   schedule: '{ S_5[] -> [3] }'
  92   body:
  93     type: binary
  94     operation: =
  95     arguments:
  96     - type: access
  97       relation: '{ S_5[] -> a[1] }'
  98       read: 0
  99       write: 1
 100     - type: access
 101       relation: '{ S_5[] -> [5] }'
 102       read: 1
 103       write: 0