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: op
  27     operation: kill
  28     arguments:
  29     - type: access
  30       relation: '{ S_0[] -> b[] }'
  31       index: '{ S_0[] -> b[] }'
  32       reference: __pet_ref_0
  33       read: 0
  34       write: 0
  35 - line: 5
  36   domain: '{ S_1[] }'
  37   schedule: '{ S_1[] -> [0, 1] }'
  38   body:
  39     type: op
  40     operation: =
  41     arguments:
  42     - type: access
  43       relation: '{ S_1[] -> b[] }'
  44       index: '{ S_1[] -> b[] }'
  45       reference: __pet_ref_1
  46       read: 0
  47       write: 1
  48     - type: int
  49       value: 1
  50 - line: 6
  51   domain: '{ S_2[] }'
  52   schedule: '{ S_2[] -> [1, 0] }'
  53   body:
  54     type: op
  55     operation: kill
  56     arguments:
  57     - type: access
  58       relation: '{ S_2[] -> c[] }'
  59       index: '{ S_2[] -> c[] }'
  60       reference: __pet_ref_2
  61       read: 0
  62       write: 0
  63 - line: 6
  64   domain: '{ S_3[] }'
  65   schedule: '{ S_3[] -> [1, 1] }'
  66   body:
  67     type: op
  68     operation: =
  69     arguments:
  70     - type: access
  71       relation: '{ S_3[] -> c[] }'
  72       index: '{ S_3[] -> c[] }'
  73       reference: __pet_ref_3
  74       read: 0
  75       write: 1
  76     - type: access
  77       relation: '{ S_3[] -> b[] }'
  78       index: '{ S_3[] -> b[] }'
  79       reference: __pet_ref_4
  80       read: 1
  81       write: 0
  82 - line: 7
  83   domain: '{ S_4[] }'
  84   schedule: '{ S_4[] -> [2] }'
  85   body:
  86     type: op
  87     operation: =
  88     arguments:
  89     - type: access
  90       relation: '{ S_4[] -> b[] }'
  91       index: '{ S_4[] -> b[] }'
  92       reference: __pet_ref_5
  93       read: 0
  94       write: 1
  95     - type: int
  96       value: 2
  97 - line: 8
  98   domain: '{ S_5[] }'
  99   schedule: '{ S_5[] -> [3] }'
 100   body:
 101     type: op
 102     operation: =
 103     arguments:
 104     - type: access
 105       relation: '{ S_5[] -> a[1] }'
 106       index: '{ S_5[] -> a[(1)] }'
 107       reference: __pet_ref_6
 108       read: 0
 109       write: 1
 110     - type: int
 111       value: 5